Turing machine formalization

[网络] 图灵机形式化